/*
 * 三天打渔两天晒网（4分）
 */

#include <stdio.h>

int main() {
	setbuf(stdout, NULL);

	int year, month, day;

	scanf("%4d-%2d-%2d", &year, &month, &day);

	if (year < 0) {
		printf("Invalid input");
		return 0;
	} else {
		if (month > 31 || month < 1) {
			printf("Invalid input");
			return 0;
		} else {
			if (month == 1 || month == 3 || month == 5 || month == 7 ||
			    month == 8 || month == 10 || month == 12) {
				if (day > 31) {
					printf("Invalid input");
					return 0;
				}
			}
			if (month == 4 || month == 6 || month == 9 ||
			    month == 11) {
				if (day > 30) {
					printf("Invalid input");
					return 0;
				}
			}
			// 对于闰年与非闰年的2月进一步判断
			if (year % 4 == 0 && year % 100 != 0 || year % 400 == 0) {
				// 若是闰年
				if (month == 2 && day > 29) {
					printf("Invalid input");
					return 0;
				}
			} else {
				// 若非闰年
				if (month == 2 && day > 28) {
					printf("Invalid input");
					return 0;
				}
			}
		}
	}

	// 计算从当前天到1990-1-1之间的天数
	int duration = 0;
	int temp = 1990;

	// 两者之间有多少个整年
	while (year >= temp) {
		if (year % 4 == 0 && year % 100 != 0 || year % 400 == 0) {
			// 若是闰年
			duration += 366;
		} else {
			// 若非闰年
			duration += 365;
		}

		++temp;
	}

	// 同一年间有多少个整月
	temp = 1;
	while (month > temp) {
		if (month == 1 || month == 3 || month == 5 ||
		    month == 7 || month == 8 || month == 10 ||
		    month == 12) {
			duration += 31;
		} else if (month == 4 || month == 6 ||
		           month == 9 || month == 11) {
			duration += 30;
		} else {
			if (year % 4 == 0 && year % 100 != 0 ||
			    year % 400 == 0) {
				// 若是闰年
				duration += 29;
			} else {
				// 若非闰年
				duration += 28;
			}
		}

		++temp;
	}

	// 计算剩余天数差
	duration += (day - 1);

	// 判断工作与否
	switch (duration % 5) {
		case 0:
		case 1:
		case 2:
			printf("He is working");
			break;
		case 3:
		case 4:
			printf("He is having a rest");
			break;
	}

	return 0;
}
